Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
101	Towards Automatic Generation of Vulnerability-Based Signatures David Brumley, James Newsome, and Dawn Song Carnegie Mellon University Pittsburgh, PA, USA {dbrumley,jnewsome,dawnsong}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computability theory Vulnerability Public-key cryptography Theoretical computer science Models of computation Buffer overflow Social vulnerability Zero-day Ring signature Symbolic execution Turing machine Halting problem
102	Tools for system validation with B abstract machines⋆ Michael Butler1 and Michael Leuschel1,2 and Colin Snook1 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-06-09 09:07:09 Unified Modeling Language Infographics Systems Modeling Language Diagrams Models of computation Class diagram Michael Butler Model checking Object Process Methodology State diagram Activity Stereotype
103	Computational Process Networks a model and framework for high-throughput signal processing Gregory E. Allen Add to Reading List Source URL: users.ece.utexas.edu Language: English - Date: 2011-04-24 22:59:22 Models of computation Computer architecture Synchronous programming languages Parallel computing Computer data Dataflow Kahn process networks Concurrent computing Concurrency LabVIEW SIGNAL Dataflow architecture
104	Summer 2009 :: COM SCI 181, Sec.1 :: Introduction to Formal Languages and Automata Theory :: Syllabus/Info Class Information Location, day, time: from the Registrar Add to Reading List Source URL: atakangunal.com Language: English* - Date: 2014-10-22 13:26:26 Formal languages Theoretical computer science Theory of computation Computability theory Models of computation Computability Automata theory Introduction to the Theory of Computation Turing machine Super-recursive algorithm Algorithm Finite-state machine
105	International Journal of Theoretical Physics, VoL 21, Nos. 3/4, 1982 Conservative Logic 1 Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2014-02-18 12:32:31 Models of computation Logic gates Fredkin gate Reversible computing Modal logic Billiard-ball computer Logic FO Toffoli gate Many-valued logic
106	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:54 Models of computation Theoretical computer science Multiset Order theory Membrane computing Set Natural computing Path ordering Associative containers Algorithm P system Big O notation
107	SelfSensor health_normal broadcastEvent(new ev_HealthNormal()); ev_HealthChanged[health>normal] Add to Reading List Source URL: gram.cs.mcgill.ca Language: English - Date: 2014-03-14 23:54:29 Models of computation Diagrams Graph drawing Infographics State diagram Stateless Halo The Listener Event
108	IEEE T-CIAIG SPECIAL ISSUE ON COMPUTATIONAL AESTHETICS IN GAMES 1 Adapting Models of Visual Aesthetics for Personalized Content Creation Add to Reading List Source URL: antoniosliapis.com Language: English - Date: 2016-02-21 05:56:54 Cybernetics Evolutionary computation Genetic algorithms Mathematical optimization Evolutionary algorithms Interactive evolutionary computation Neuroevolution of augmenting topologies Aesthetics Fitness function Artificial neural network Visual C++
109	Akka Stream and HTTP Experimental Java Documentation ReleaseTypesafe Inc Add to Reading List Source URL: doc.akka.io Language: English - Date: 2016-01-26 10:05:28 Inter-process communication Java platform Programming paradigms Computer data Models of computation Reactive Streams Akka Stream Scala Twitter Hashtag STREAMS
110	Statistics 542 Spring 2016 Course Description: Bayesian Methods and Computation The goal of this course is to develop sophisticated tools for probability modeling and data analysis from the Bayesian perspective. Key topi Add to Reading List Source URL: www-stat.wharton.upenn.edu Language: English - Date: 2015-12-20 15:57:51 Statistics Statistical theory Statistical inference Statistical models Sampling techniques Statistical mechanics Stochastic simulation Bayesian network Bayesian inference Bayesian statistics Bayesian Monte Carlo method

UPDATE